A. Chagrov, M. Zakharyaschev; "Modal Logic", Thm 1.19